More from this Author

Computer Science Logic

by D. Dalen, Marc Bezem (Editor), European Association for Computer Science Logic Staff